משרות פתוחות ל־Formal Verification Engineer - עמוד 13

בתפקיד מהנדס/ת אימות פורמלי, תהיה/י אחראי/ת על אימות ובדיקת נכונות של מערכות חומרה ותוכנה מורכבות באמצעות שיטות מתמטיות פורמליות. התפקיד דורש ידע מעמיק במתמטיקה, לוגיקה, אלגוריתמים ושפות תיאור חומרה כמו Verilog או VHDL. כישורים נדרשים כוללים חשיבה אנליטית, פתרון בעיות, תשומת לב לפרטים ויכולת עבודה בצוות. ביום-יום, תעבוד/י על פיתוח מודלים מתמטיים, כתיבת מפרטים פורמליים, ביצוע בדיקות אימות, ניתוח תוצאות ודיווח על ממצאים. זהו תפקיד מאתגר ומספק עבור בעלי חשיבה לוגית-מתמטית, הנהנים לפתור בעיות מורכבות ולהבטיח את האמינות של מערכות קריטיות.